Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
Volant — spin up real microVMs in 10 seconds (Docker images or pre-baked initramfs)
reddit.com·11h·
Discuss: r/programming
🛡️Capability VMs
Why We Need SIMD
parallelprogrammer.substack.com·7h·
Discuss: Substack
🔀SIMD Programming
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4h·
Discuss: Hacker News
Cache Optimization
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Understanding the KV Cache (feat. Self-Attention)
dev.to·3h·
Discuss: DEV
🔄Subinterpreters
Startup Funding: Q3 2025
semiengineering.com·3h
🗺️Region Inference
A mini PC is the perfect "sandbox" machine for risky software experiments
xda-developers.com·2d
💻virtual machines
IBM introduces Granite 4 language models
techzine.eu·3h
🏁Language Benchmarks
LLMs are badly misaligned
lesswrong.com·20h
Type Checking
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
Huawei's new open source technique shrinks LLMs to make them run on less powerful, less expensive hardware
venturebeat.com·2d
🔄Binary Translation
How we trained an ML model to detect DLL hijacking
securelist.com·2h
🏷️Memory Tagging
Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like
axx83.substack.com·1d·
Discuss: Substack
🌱Forth Kernels
Souvenir
deprogrammaticaipsum.com·7h
🔗Weak References
Recurse Checkins
404wolf.com·9h
🔄Bootstrapping
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·1d·
Discuss: DEV
🌿Trie Structures
Granite-4.0-H-Tiny vs. OLMoE: Rapid AI improvements
i.redd.it·3d·
Discuss: r/LocalLLaMA
🐹Minimal Go
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·56m·
Discuss: Hacker News
🧮Theorem Provers